package edu.gatech.cc.concolic.expression;


public interface IntegerExpression extends SymbolicExpression {

}
